IEEE Transactions on Software Engineering, Vol. 28
نویسندگان
چکیده
data types; cf. Data encapsulation; Inheritance Administrative data processing; cf. Spreadsheet programs Algebraic specification dyn. model for OO modeling, formalization and integrat. Cheng, B.H.C., + , T-SE Aug 02 747-762 Application program interfaces config. mgt. policy prog. testbed. van der Hoek, A., + , T-SE Jan 02 79-99 dyn. real-time distributed systs. engng. Ravindran, B., T-SE Jan 02 30-57 embedded multiprocessor sig. proc. systs., rapid prototyping. Janka, R.S., + , T-SE Sep 02 832-846 Visper, OO distributed parallel prog. framework. Stankovic, N., + , T-SE May 02 478-493 Attribute grammars noncircular attribute grammar class. based on look-ahead behavior. Wuu Yang, T-SE Mar 02 210-227
منابع مشابه
Errata for "Discovering Documentation for Java Container Classes"
We apologize to the reader for any inconvenience these mistakes may have caused. We are indebted to Hewijin Christine Jiau, Dung-Feng Yu, and Kuo-Feng Ssu for pointing out these mistakes. REFERENCES [1] J. Henkel, C. Reichenbach, and A. Diwan, “Discovering Documentation for Java Container Classes,” IEEE Trans. Software Eng., vol. 33, no. 8, pp. 526543, Aug. 2007. IEEE TRANSACTIONS ON SOFTWARE E...
متن کاملSearch Based Software Engineering: Introduction to the Special Issue of the IEEE Transactions on Software Engineering
متن کامل
Applicability of Temporal Data Models to Query Multilevel Security Databases: A Case Study
In a multilevel security database there are multiple beliefs about a given real world object. The ability of a database model to accommodate multiple beliefs is termed polyinstantiation in the multilevel security literature. In this paper we remark that in an abstract sense polyinstantiation is a priori present in all models for temporal and spatial databases. In particular we investigate the a...
متن کامل[12] Korel B., PELAS- Program Error Locating Assistant System, IEEE Transactions on Software Engineering,
Example of the session with the FORMAN/PASCAL assertion checker prototype .
متن کاملResponse to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'"
We respond to criticism by D. Berry and W. Tichy of our paper that appeared in the March 2002 issue of IEEE Transactions on Software Engineering. Many of the supposed faults they identify in our experiment are a result of a misunderstanding on their part, while others are inherent aspects of an educational experiment. We present counterarguments that explain why our experiment is valid.
متن کامل